home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group03a.txt / 000015_icon-group-sender_Wed Feb 12 08:12:35 2003.msg < prev    next >
Internet Message Format  |  2003-12-22  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id h1CFCAE14778
  4.     for icon-group-addresses; Wed, 12 Feb 2003 08:12:10 -0700 (MST)
  5. Message-Id: <200302121512.h1CFCAE14778@baskerville.CS.Arizona.EDU>
  6. From: "Andrew Hamm" <ahamm@mail.com>
  7. X-Newsgroups: comp.lang.icon
  8. Subject: Re: data values
  9. Date: Wed, 12 Feb 2003 10:28:04 +1100
  10. X-Priority: 3
  11. X-MSMail-Priority: Normal
  12. X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
  13. X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
  14. To: icon-group@cs.arizona.edu
  15. Errors-To: icon-group-errors@cs.arizona.edu
  16. Status: RO
  17.  
  18. ernobe wrote:
  19. >
  20. > The whole section immediately following, entitled "Data Backtracking"
  21. > might as well be paraphrased as "There is such a thing as data
  22. > backtracking".  Would it be right to conclude from it that the success
  23. > of expressions in a logical conjunction does not depend on the success
  24. > of the final expression, while the success of the conjunction as a
  25. > whole does?
  26.  
  27. The success of the entire conjunction depends on the success of all the
  28. parts. If a "deeper" part fails, then the earlier parts are resumed to
  29. squeeze out another possible result. If deeper parts keep failing, then
  30. ultimately the earlier parts are driven to the point of their own failure,
  31. so another backtrack happens. This can happen all the way back, until maybe
  32. the first part also runs out of results, so then they have all failed in one
  33. way or the other.
  34. --
  35. There's nowt wrong wi' owt what mitherin' clutterbucks don't barly grummit!
  36. -
  37. Replies directly to this message will go to an account that may not be
  38. checked for a week or two. For more timely e-mail response, use (only
  39. in an emergency) ahamm sanderson net au with all the usual punctuation.
  40.  
  41.  
  42.